Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
201	A Plan for a Unified Program of Research in Artificial Intelligence at SRI Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2006-08-03 14:13:36 Ethology Computational neuroscience Artificial intelligence Cybernetics Logic programming Question answering Robot Intelligence Philosophy of artificial intelligence Science Knowledge Open problems
202	Call for papers 21th International Symposium on Logic-Based Program Synthesis and Transformation http://users.dsic.upv.es/~lopstr11/ 18–20 July, 2011, Odense, Denmark (co-located with PPDP 2011, AAIP 2011 and WFLP 2011 Add to Reading List Source URL: users.dsic.upv.es Language: English - Date: 2011-03-28 09:25:03 Computer science Computing Software International Symposium on Logic-based Program Synthesis and Transformation Logic programming Cyc
203	PDF Document Add to Reading List Source URL: www.liveworkthrive.org Language: English - Date: 2014-10-01 11:53:48 Program evaluation Logic model Evaluation Evaluation methods Impact assessment
204	PROGRAM EVALUATION FOR THE CLEMENTE COURSE IN THE HUMANITIES: THE DESIGN OF SURVEY AND CASE STUDY INSTRUMENTS Prepared for: The Massachusetts Foundation for the Humanities Add to Reading List Source URL: clementecourse.org Language: English - Date: 2010-11-11 14:15:46 Self-efficacy Logic model Gang Resistance Education and Training Decision making Missouri Foundation for Health Evaluation Evaluation methods Program evaluation
205	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
206	Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb Cormac Flanagan Galois, Inc., USA Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Quantification Program logic Formal methods Predicate transformer semantics Entailment Assertion C Existential quantification FO Logic Software engineering Theoretical computer science
207	Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:15:45 Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science
208	Microsoft Word - Master FP-OD copy to print articles from.doc Add to Reading List Source URL: managementhelp.org Language: English - Date: 2015-05-12 19:28:20 System Systems science Equifinality Program management Organization development Systems thinking Logic model Systems theory Science Management
209	Form B International Environmental Leadership Program (IELP) Graduate School of Environmental Studies, Tohoku University RECOMMENDATION LETTER IELP 2015 Add to Reading List Source URL: www.kankyo.tohoku.ac.jp Language: English - Date: 2015-03-30 23:18:08 Graduate school Reference Analytic philosophy Sendai Tohoku University Logic
210	Foundation Document Standards for Evaluation in the UN System April 2005 Add to Reading List Source URL: www.alnap.org Language: English - Date: 2014-12-24 10:04:45 Thought Systems engineering process Logic model Usability Empowerment evaluation Program evaluation Evaluation methods Evaluation Sociology

UPDATE